A Formal Basis for the Perception of Programming as a Language Design Activity
نویسندگان
چکیده
Recognising language design as a valid programming paradigm should have widespread benefits e.g. for the development of CASE tools. This validity is demonstrated both pragmatically and formally. The pragmatic justification derives from matching the patterns of usage and quality assessment of programming languages on the one hand, with corresponding patterns for the output of the ‘‘programming’’ activity. The formal justification derives from an examination of denotational semantics. Language design as incarnated in the production of a denotational semantics is evidently functional programming, with all the concerns for modularity and abstraction that should also be the concerns of applications programmers. Then, when the denotational equations are restructured in better accord with these programming principles, it emerges that the semantics of a centrepiece of programmer activity declarations are evidently language extensions.
منابع مشابه
Perception and Сontent Assessment of Active Users: Russian Language Social Networks
The paper considers studying the perception and assessment of media content in the Russian-language social networks, analyzing the causes that affect the perception and distribution of network content. The importance of language learning and communication in Russian-language social networks, and problems of content effectiveness is determined by the growth in the number and activity of Runet us...
متن کاملIranian EFL Learners’ Perception of the Efficacy and Affordance of Activity Theory-based Computer Assisted Language Learning in Writing Achievement
Second language writing instruction has been greatly influenced by the growing importance of technology and the recent shift of paradigm from a cognitive to a social orientation in second language acquisition (Lantolf & Thorne, 2006). Therefore, the applications of computer assisted language learning and activity theory have been suggested as a promising framework for writing studies. The prese...
متن کاملIranian EFL Learners' Perception of the Efficacy of Activity Theory-based Reading Comprehension
Any language classroom is a distinctive learning context offering numerous affordances that might be perceived effectively, remain unnoticed, or even act as constraints. Therefore, exploring students' perception toward a particular method of instruction is crucial since it may produce a reliable piece of evidence for teachers to confirm or refute the effectiveness of the intended instructional ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل